#!/bin/bash

[ "$1" == "--clean" ] || exit 0

rmdir /.zdtm_root_ext.tmp
